A Polynomial Time Algorithm for Checking Regularity of Totally Normed Process Algebra

A polynomial algorithm for the regularity problem of weak and branching bisimilarity on totally normed process algebra(PA) processes is given. Its time complexity is O(n3+ mn), where n is the number of transition rules and m is the maximal length of the rules. The algorithm works for totally normed basic process algebra(BPA) as well as basic parallel process(BPP).     

第四代港口对中国港口建设的启示

旨在探讨第四代港口对中国港口建设的重要启示,以期为新形势下的中国港口建设提供理论支撑。基于前期研究及联合国贸发会的港口代际发展模型,研究并指出第四代港口是积极主动参与国际经贸决策和组织各类经济活动的前方调度总站,分析了第四代港口的主要特征及其对我国港口建设的重要启示。主要结论是：中国港口建设应大力发展和吸引陆向腹地物流,进一步加强国际航运中心建设以及优化港口布局。     

格蕴涵代数的超滤

通过超滤构造超积是模型论中构造模型的一种重要方法。文中提出了格蕴涵代数中超滤的概念，研究了它与素滤子及有限交性的关系，并证明了它与极大真滤子的等价性，为进一步研究相应的超积理论打下了基础。     

线性代数教学之己见

线性代数是工科院校各专业的一门重要基础课,教育部将其列入重点评估课程之一。近些年来,随着计算机技术的不断发展,线性代数理论在实践中的应用也日益广泛,线性代数课程内容相对抽象,不易接受,难以理解。如何使学生较好地掌握课程的主要内容,培养学生熟练的运算能力及严密的逻辑思维能力,是我们教学工作者日常教学活动中所面临的主要问题,笔者结合数年的教学实践,浅谈对《线性代数》教学的体会。     

桥梁的人文内涵

建筑是一种文化现象,反映人类文化意识是它的一种功能。桥梁与其他类型的建筑具有共通的美学属性,能反映地方与社会的人文内涵。在进行桥梁设计时,有意识地将人文内涵应用于方案中,并以合适的造型加以体现,能提升桥梁的景观品质,凸显桥梁的个性特征,使其真正成为地区标志性建筑。     

粗糙集代数与格蕴涵代数

讨论粗糙集代数与格蕴涵代数的关系以及由粗糙集代数构造格蕴涵代数的方法．借助近似代数上的原子及同余关系，证明了在适当选取蕴涵算子及余运算之后，粗糙集代数就成为格蕴涵代数。     

格值时态命题逻辑LTP(X)的语义问题

在格值命题逻辑系统LP(X)中引入时态算子E(曾经)和F(将会)以及它们的对偶算子H(曾经总是)和G(将会总是)，建立了一个以时轴为语境的格值时态命题逻辑系统LTP(X)，讨论了LTP(X)与时间相关的一系列性质及时态词的重叠问题，证明了MP语义规则和HS语义规则在该系统中成立。     

格蕴涵代数的拓扑结构

给出了格蕴涵代数中弱滤子的概念，对弱滤子的性质和结构进行了研究，证明了格蕴涵代数中全体弱滤子构成一个拓扑结构，格蕴涵代数之间的蕴涵同构是相应拓扑结构之间的拓扑映射。     

布尔矩阵的沙因秩

本文引入了ｋ行占优布尔矩阵的定义，并且讨论了布尔矩阵沙因秩的一些性质。     

常州市交通数据库建设经验与启示

为了更好地为城市交通规划提供翔实的基础资料和科学化的评测手段,交通数据库的建设势在必行.首先介绍了常州市交通数据库的建设背景及意义,然后回顾整个交通数据库的建设流程,通过成立专门的调查机构,制定科学的调查方法,加上强强联合、优势互补的咨询单位和出色的总体策划,成功地完成了交通数据库的建设.最后,总结了一些不足之处,如项目时间不充足,数据库总体设计反馈延误,调查方案未得到全面落实,部分现状基础数据还有待补充,人才培养未跟上等等.